科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:不同容错机制的形式验证和测试努力分析
Meng Zhang; Anita Lungu; Daniel J. Sorin;
机译:基于形式验证的宽边扫描测试对过渡故障的冗余识别
机译:故障注入,用于容错的正式测试
机译:对安全关键型可重配置模块中的容错能力进行形式验证
机译:分析不同容错机制的形式验证和测试工作
机译:正式和半正式验证在软件测试,高级综合和能源互联网中的应用
机译:利用生物学机制的正式概念来分析人类疾病
机译:基于正式的验证,具有宽边扫描测试的过渡故障的冗余识别
机译:软件实现分布式系统容错机制的故障注入测试
机译:用于生成测试模式的方法和装置,并在测试模式中选择优化的测试模式,以验证卷积操作的完整性,以增强极端情况下的容错和波动鲁棒性
机译:为了验证卷积运算的完整性以提高极端情况下的容错性和波动鲁棒性,生成测试模式并在测试模式中选择优化的测试模式的方法和装置
机译:用于生成测试图案并在测试图案中选择优化的测试图案以验证卷积运算的完整性以增强极端情况下的容错性和波动鲁棒性的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。